Every effect algebra can be made into a total algebra
نویسندگان
چکیده
منابع مشابه
Things that can be made into themselves
One says that a property P of sets of natural numbers can be made into itself iff there is a numbering α0, α1, . . . of all left-r.e. sets such that the index set {e : αe satisfies P} has the property P as well. For example, the property of being Martin-Löf random can be made into itself. Herein we characterize those singleton properties which can be made into themselves. A second direction of ...
متن کاملCan Computer Algebra be Liberated from its Algebraic Yoke ?
So far, the scope of computer algebra has been needlessly restricted to exact algebraic methods. Its possible extension to approximate analytical methods is discussed. The entangled roles of functional analysis and symbolic programming, especially the functional and transfor-mational paradigms, are put forward. In the future, algebraic algorithms could constitute the core of extended symbolic m...
متن کاملEvery projective Schur algebra is Brauer equivalent to a radical abelian algebra
We prove that any projective Schur algebra over a field K is equivalent in Br(K) to a radical abelian algebra. This was conjectured in 1995 by Sonn and the first author of this paper. As a consequence we obtain a characterization of the projective Schur group by means of Galois cohomology. The conjecture was known for algebras over fields of positive characteristic. In characteristic zero the c...
متن کاملOn dimensions of derived algebra and central factor of a Lie algebra
Some Lie algebra analogues of Schur's theorem and its converses are presented. As a result, it is shown that for a capable Lie algebra L we always have dim L=Z(L) 2(dim(L2))2. We also give give some examples sup- porting our results.
متن کاملLie triple derivation algebra of Virasoro-like algebra
Let $mathfrak{L}$ be the Virasoro-like algebra and $mathfrak{g}$ itsderived algebra, respectively. We investigate the structure of the Lie triplederivation algebra of $mathfrak{L}$ and $mathfrak{g}$. We provethat they are both isomorphic to $mathfrak{L}$, which provides twoexamples of invariance under triple derivation.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Algebra universalis
سال: 2009
ISSN: 0002-5240,1420-8911
DOI: 10.1007/s00012-009-0010-6